منابع مشابه
Equivalence Transformations on Statecharts
Statecharts are a popular representation technique for conceptual models of the dynamics of a universe of discourse. However, designers are not supported in their work with dynamic models as well as they are for working with static models. We present a meta-model and a formalization of the semantics of a statechart language. Important results are the definition of the equivalence of statecharts...
متن کاملWeaving With Statecharts
Separation of Concerns separates requirements such as synchronization and scheduling from the core functionality of the software system. These requirements are often referred to as crosscutting concerns. The implementation of such requirements is scattered throughout the software system, which results in the code-tangling problem Aspect Oriented Programming provides the user with the ability to...
متن کاملOn testing UML statecharts
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one hand, upon formal testing and conformance theory that has originally been developed in the context of process algebras and Labeled Transition Systems (LTSs), and, on the other hand, upon our previous work on formal seman...
متن کاملOn Statecharts for Biology
One of the central issues in software and system engineering over the last couple of decades has been to develop languages, methods and tools for the reliable construction of reactive systems, those whose complexity stems not necessarily from complicated computation but from complicated reactivity over time (Harel and Pnueli, 1985). Such systems are usually highly concurrent and time-intensive,...
متن کاملExtending Statecharts with Duration
Statecharts have been widely accepted as a successful graphical language for specifying reactive systems. However, some anomalies do exist when the durations of activities are subject to diierent interpretations such as with or without delay. A number of proposals have been put forwards to address these anomalies but in a rather ad hoc fashion. This paper re-addresses these anomalies using a mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Software Engineering and Methodology
سال: 1992
ISSN: 1049-331X,1557-7392
DOI: 10.1145/136586.136589